Russian ⇄ English

тип – это совокупность объектов, характеризуемая функциями, аксиомами и предусловиями stresses
progr.	a type is a collection of objects characterized by functions, axioms and preconditions (см. Object-Oriented Software Construction second edition by Bertrand Meyer ssn)
тип – это совокупность объектов, характеризуемая функциями, аксиомами и предусловиями
progr.	a type is a collection of objects characterized by functions, axioms and preconditions (см. Object-Oriented Software Construction second edition by Bertrand Meyer ssn)